Olaf Beyersdorff: искать на сайте Z-Library

Сбор средств 15 Сентября 2024 – 1 Октября 2024 О сборе средств

Свободный доступ к знаниям и культуре.

Сбор средств 15 Сентября 2024 – 1 Октября 2024

Z-Library - одна из крупнейших онлайн-библиотек в мире, в которой хранится более 17,000,000 книг и 84,837,000 статей. Мы стремимся сделать литературу доступной каждому. Сегодня (15 Сентября 2024) мы открываем дополнительный сбор пожертвований на поддержку и развитие проекта.

Также, БЕЗЛИМИТНЫЕ скачивания (в течение 31 дня после дня совершения пожертвования) доступны для ВСЕХ пользователей, которые поддержат проект в период сбора средств до 1 Октября 2024.

О сборе средствПодробнее

Поддержать

Применены фильтры

Точное соответствие

Точное соответствие

Книги (6)
Самые популярные
Список
- Список
- Таблица

1

Lectures on Logic and Computation: ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

Lectures on Logic and Computation: ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

Springer-Verlag Berlin Heidelberg

Olaf Beyersdorff, Oliver Kutz (auth.), Nick Bezhanishvili, Valentin Goranko (eds.)

Год:

2012

Язык:

english

Файл:

PDF, 2.50 MB

0 / 0

english, 2012

2

Lectures on Logic and Computation: ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

Lectures on Logic and Computation: ESSLLI 2010 Copenhagen, Denmark, August 2010, ESSLLI 2011, Ljubljana, Slovenia, August 2011, Selected Lecture Notes

Springer-Verlag Berlin Heidelberg

Olaf Beyersdorff, Oliver Kutz (auth.), Nick Bezhanishvili, Valentin Goranko (eds.)

Год:

2012

Язык:

english

Файл:

PDF, 2.77 MB

0 / 0

english, 2012

3

Mathematics For Computation (m4c)

Mathematics For Computation (m4c)

Marco Benini (editor), Olaf Beyersdorff (editor), Michael Rathjen (editor), Peter Michael Schuster (editor)

Год:

2023

Язык:

english

Файл:

PDF, 10.37 MB

0 / 5.0

english, 2023

4

Mathematics for Computation (M4C)

Mathematics for Computation (M4C)

World Scientific Publishing

Marco Benini, Olaf Beyersdorff, Michael Rathjen, Peter Schuster

Год:

2023

Язык:

english

Файл:

PDF, 10.10 MB

0 / 5.0

english, 2023

5

Theory and applications of satisfiability testing - SAT 2018: 21st international conference, SAT 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018: proceedings

Theory and applications of satisfiability testing - SAT 2018: 21st international conference, SAT 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018: proceedings

Beyersdorff, Olaf, Wintersteiger, Christoph M

Год:

2018

Язык:

english

Файл:

PDF, 7.30 MB

0 / 0

english, 2018

6

Theory and Applications of Satisfiability Testing – SAT 2018

Theory and Applications of Satisfiability Testing – SAT 2018

Springer International Publishing

Olaf Beyersdorff, Christoph M. Wintersteiger

Год:

2018

Язык:

english

Файл:

PDF, 12.77 MB

0 / 0

english, 2018